Assumptions: finite coproducts, self-dual
Conclusions: finite products
Reason: This holds by self-duality.